\relax 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\citation{rewriting}
\citation{jlap2010}
\citation{wrla2010}
\citation{jlap2010}
\citation{csem}
\citation{java}
\citation{scheme1}
\citation{scheme2}
\citation{verilog}
\citation{kpage}
\HyField@AuxAddToFields{23}
\HyField@AuxAddToFields{25}
\HyField@AuxAddToFields{27}
\HyField@AuxAddToFields{29}
\HyField@AuxAddToFields{31}
\HyField@AuxAddToFields{36}
\HyField@AuxAddToFields{38}
\HyField@AuxAddToFields{40}
\HyField@AuxAddToFields{41}
\HyField@AuxAddToFields{43}
\HyField@AuxAddToFields{45}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces SIMPLE: configuration}}{2}{figure.1}}
\newlabel{config:S}{{1}{2}{SIMPLE: configuration\relax }{figure.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Contextual transformations}{2}{section.1}}
\newlabel{ct:ex}{{1}{2}{Contextual transformations\relax }{section.1}{}}
\HyField@AuxAddToFields{71}
\HyField@AuxAddToFields{72}
\HyField@AuxAddToFields{73}
\HyField@AuxAddToFields{74}
\HyField@AuxAddToFields{75}
\HyField@AuxAddToFields{76}
\HyField@AuxAddToFields{77}
\HyField@AuxAddToFields{78}
\HyField@AuxAddToFields{79}
\HyField@AuxAddToFields{80}
\HyField@AuxAddToFields{81}
\HyField@AuxAddToFields{82}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces SIMPLE: variable lookup rule before (a) and after (b) contextual transformation}}{3}{figure.2}}
\newlabel{look}{{2}{3}{SIMPLE: variable lookup rule before (a) and after (b) contextual transformation\relax }{figure.2}{}}
\bibstyle{plain}
\bibdata{mibib}
\bibcite{rewriting}{1}
\HyField@AuxAddToFields{108}
\HyField@AuxAddToFields{109}
\HyField@AuxAddToFields{110}
\HyField@AuxAddToFields{111}
\HyField@AuxAddToFields{112}
\HyField@AuxAddToFields{113}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces SIMPLE: full context for variable lookup rule}}{4}{figure.3}}
\newlabel{look:full}{{3}{4}{SIMPLE: full context for variable lookup rule\relax }{figure.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Thread creation rule - SIMPLE semantics}}{4}{figure.4}}
\newlabel{thread:one}{{4}{4}{Thread creation rule - SIMPLE semantics\relax }{figure.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Conclusions and future work}{4}{section.2}}
\bibcite{wrla2010}{2}
\bibcite{csem}{3}
\bibcite{java}{4}
\bibcite{kpage}{5}
\bibcite{verilog}{6}
\bibcite{scheme1}{7}
\bibcite{scheme2}{8}
\bibcite{jlap2010}{9}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Thread creation rule full context - SIMPLE semantics}}{5}{figure.5}}
\newlabel{none}{{5}{5}{Thread creation rule full context - SIMPLE semantics\relax }{figure.5}{}}
